A Value Transmission Method for Abstract Data Types
نویسندگان
چکیده
منابع مشابه
A Reverse Engineering Method for Identifying Reusable Abstract Data Types
This paper presents results from an experiment in reuse within the RE2 project. It shows how a particular candidature criterion for identifying abstract data types in txisting software systems can be applied both ar the theoretical and practical level. The RE2 project is concerned with the exploration of I everse engineering and re-engineering techniques to facilitate reuse re-engineering by th...
متن کاملGeneral quorum consensus : a replication method for abstract data types
Replication can enhance the availability of data in distributed systems. This paper introduces General Quorum Consensus: a new method for managing replicated data. Unlike many methods that support replication only for uninterpreted files, this method systematically exploits type-specific properties of objects such as sets, queues, or director ies to provide more effective replication. Associate...
متن کاملDistributed Abstract Data Types
Abstract. In this paper we introduce the concept of Distributed Abstract Data Type (DADT), a new programming model simplifying the development of distributed, context-aware applications. A DADT instance logically encapsulates a collection of ADT instances distributed throughout the system. DADT operations specify the semantics of access to this distributed state by using dedicated programming c...
متن کاملAbstract Constraint Data Types
Constraint Data Types José Luiz Fiadeiro and Fernando Orejas Dep. of Computer Science, Royal Holloway University of London, Egham TW20 0EX, UK [email protected] 2 Dep. de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, 08034 Barcelona, Spain [email protected] Abstract. Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e....
متن کاملAbstract Data Types without the Types
Data Types without the Types Philip Wadler (Edinburgh University, Scotland [email protected]) Dedicated to David Turner on the occasion of his 70’th birthday Abstract: The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 1982
ISSN: 0164-0925,1558-4593
DOI: 10.1145/69622.357182